Mutual fund separation theorem